Aiger Vs Lean